Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
151	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: allenai.org Language: English Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
152	BE-UT Behavioral Assumptions for a Class of Utility Theories: A Program of Experiments R. Duncan Luce Institute for Mathematical Behavioral Sciences, University of California, Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:49 Decision theory Mathematical logic Utility Universal property Group action Theory of conjoint measurement Abstract algebra Mathematics Algebra
153	Selected for a Viewpoint in Physics PHYSICAL REVIEW A 84, Informational derivation of quantum theory Giulio Chiribella∗ Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Ontario, Cana Add to Reading List Source URL: www.qubit.it. Language: English - Date: 2014-10-22 10:52:36 Quantum information science Quantum information theory Quantum measurement Quantum state Quantum logic Density matrix Quantum operation POVM Quantum entanglement Physics Quantum mechanics Theoretical computer science
154	Book Launch: Legitimate Targets? Social Construction, International Law and US Bombing An event of the Oxford Institute for Ethics Law and Armed Conflict (ELAC) and the Centre for International Studies (CIS) Thursday 13 Add to Reading List Source URL: www.elac.ox.ac.uk Language: English - Date: 2014-09-22 10:57:49 Academia Knowledge International relations Logic Science
155	Recognition Algorithms for the Loom Classier Robert M. MacGregor and David Brill USC/Information Sciences Institute 4676 Admiralty Way Marina del Rey, CA[removed]removed], [removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2000-03-31 18:35:47 Mind Theoretical computer science LOOM Ontology Algorithm Inference Knowledge representation and reasoning Instantiation Abstraction Reasoning Logic Cognition
156	Alleged assassins: realist and constructivist semantics for modal modification Bjørn Jespersen1? and Giuseppe Primiero2?? 1 Institute of Philosophy, Department of Logic, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 04:07:16 Model theory Non-classical logic Philosophical logic Modal logic Interpretation First-order logic Adjective Continuous function Function Logic Mathematical logic Mathematics
157	ns-3 Project Plan Tom Henderson and Sumit Roy, University of Washington Sally Floyd, ICSI Center for Internet Research George Riley, Georgia Institute of Technology Add to Reading List Source URL: www.icir.org Language: English - Date: 2006-06-23 15:45:15 Computing Electronics Simulation software Ns Network simulation Emulator Simulation Logic simulation Actor model Electronic engineering Computer networking Telecommunications engineering
158	Efficient checkpoint/verification patterns for silent error detection Anne Benoit1 , Saurabh K. Raina2 and Yves Robert1,3 ´ 1. LIP, Ecole Normale Sup´erieure de Lyon, CNRS & INRIA, France 2. Jaypee Institute of Informa Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2014-05-30 15:36:13 Statistics Logic Probability and statistics Application checkpointing Forcing Normal distribution
159	Compression for Data Structures An Invitation to Start a New Research Area Yury Lifshits http://logic.pdmi.ras.ru/~yura Steklov Institute of Mathematics at St.Petersburg Add to Reading List Source URL: yury.name Language: English - Date: 2006-10-25 04:34:58 Arrays Audio engineering Computer storage Data compression Digital audio Digital television Hash function Database Suffix array Computing Information Data
160	Potential theory for mean payo games Yury Lifshits* and Dmitri Pavlov Laboratory of Mathematical Logic, Saint Petersburg Department of Steklov Mathematical Institute; and Department of Mathematics, Institute of Fine Mec Add to Reading List Source URL: yury.name Language: English - Date: 2008-11-06 22:14:54 NP-complete problems Vertex Graph Degeneracy Connected component Connectivity Shortest path problem Tree Routing algorithms Graph theory Mathematics Theoretical computer science

UPDATE